![]() Music |
![]() Video |
![]() Movies |
![]() Chart |
![]() Show |
![]() |
[PLDI'23] Better Together: Unifying Datalog and Equality Saturation (ACM SIGPLAN) View |
![]() |
Equality Saturation: A New Approach to Optimization (Ross Tate) View |
![]() |
egglog Tutorial (EGRAPHS 2023) | Next Generation Egraphs (oflatt education) View |
![]() |
Rewrite Rule Inference Using Equality Saturation (ACM SIGPLAN) View |
![]() |
Passport: Improving Automated Formal Verification Using Identifiers (Yuriy Brun) View |
![]() |
A Flexible Type System for Fearless Concurrency (ACM SIGPLAN) View |
![]() |
() View |
![]() |
() View |
![]() |
() View |
![]() |
() View |